how do you prove that commutative ring is a field